Advanced Electrodes for Solid Acid Fuel Cells by Platinum Deposition on CsH_(2)PO_4

We demonstrate cathodes for solid acid fuel cells fabricated by vapor deposition of platinum from the metalorganic precursor Pt(acac)_2 on the solid acid CsH_(2)PO_4 at 210 °C. A network of platinum nanoparticles with diameters of 2−4 nm serves as both the oxygen reduction catalyst and the electronic conductor in the electrode. Electrodes with a platinum content of 1.75 mg/cm^2 are more active for oxygen reduction than previously reported electrodes with a platinum content of 7.5 mg/cm^2. Electrodes containing <1.75 mg/cm^2 of platinum show significantly reduced catalytic activity and increased ohmic resistance indicative of a highly discontinuous catalytic-electronic platinum network

Background modeling for video sequences by stacked denoising autoencoders

Nowadays, the analysis and extraction of relevant information in visual data flows is of paramount importance. These images sequences can last for hours, which implies that the model must adapt to all kinds of circumstances so that the performance of the system does not decay over time. In this paper we propose a methodology for background modeling and foreground detection, whose main characteristic is its robustness against stationary noise. Thus, stacked denoising autoencoders are applied to generate a set of robust characteristics for each region or patch of the image, which will be the input of a probabilistic model to determine if that region is background or foreground. The evaluation of a set of heterogeneous sequences results in that, although our proposal is similar to the classical methods existing in the literature, the inclusion of noise in these sequences causes drastic performance drops in the competing methods, while in our case the performance stays or falls slightly.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Background modeling by shifted tilings of stacked denoising autoencoders

The effective processing of visual data without interruption is currently of supreme importance. For that purpose, the analysis system must adapt to events that may affect the data quality and maintain its performance level over time. A methodology for background modeling and foreground detection, whose main characteristic is its robustness against stationary noise, is presented in the paper. The system is based on a stacked denoising autoencoder which extracts a set of significant features for each patch of several shifted tilings of the video frame. A probabilistic model for each patch is learned. The distinct patches which include a particular pixel are considered for that pixel classification. The experiments show that classical methods existing in the literature experience drastic performance drops when noise is present in the video sequences, whereas the proposed one seems to be slightly affected. This fact corroborates the idea of robustness of our proposal, in addition to its usefulness for the processing and analysis of continuous data during uninterrupted periods of time.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

On landmark selection and sampling in high-dimensional data analysis

In recent years, the spectral analysis of appropriately defined kernel matrices has emerged as a principled way to extract the low-dimensional structure often prevalent in high-dimensional data. Here we provide an introduction to spectral methods for linear and nonlinear dimension reduction, emphasizing ways to overcome the computational limitations currently faced by practitioners with massive datasets. In particular, a data subsampling or landmark selection process is often employed to construct a kernel based on partial information, followed by an approximate spectral analysis termed the Nystrom extension. We provide a quantitative framework to analyse this procedure, and use it to demonstrate algorithmic performance bounds on a range of practical approaches designed to optimize the landmark selection process. We compare the practical implications of these bounds by way of real-world examples drawn from the field of computer vision, whereby low-dimensional manifold structure is shown to emerge from high-dimensional video data streams.Comment: 18 pages, 6 figures, submitted for publicatio

Experience with impacted upper ureteral Stones; should we abandon using semirigid ureteroscopes and pneumatic lithoclast?

<p>Abstract</p> <p>Introduction</p> <p>The AUA/EAU Ureteral Stones Guideline Panel reported that the stone free rate for the proximal ureteral stones is around 81% when treated by either SWL or ureteroscopy (URS).</p> <p>Complication rates, most notably ureteral perforation and long-term complications of URS such as stricture formation rates, have been reduced to < 5%. Moreover, impacted ureteral calculi are more difficult to fragment with SWL because of the lack of natural expansion space for stones, this result in a situation that is better managed by ureteroscopy. The aim of this study is to assess the efficacy, safety, and complications of impacted upper ureteral stone disintegration using semirigid ureteroscopes and pneumatic lithotripsy.</p> <p>Methods</p> <p>We retrospectively analyzed the records of 267 consecutive patients with impacted upper ureteral stones (9–20 mm) who were treated by semirigid ureteroscopes and pneumatic disintegration. The efficacy of treatment was estimated using the stone-free rate and all treatment related complications were analyzed.</p> <p>Results</p> <p>Except for 24 cases where the stone migrated to the kidney, the stone was successfully treated ureteroscopically, with a low rate of minimal complications such as mild hematuria (18.4%), short term low grade fever (13.5%). Only 3 patients (1.1%) had high grade fever and none had post operative stricture.</p> <p>Conclusion</p> <p>The use of semirigid URS and pneumatic lithotripsy in impacted upper ureteral stones in experienced hands has very satisfactory results with minimal complications. When Holmium laser and flexible URS are not available, semirigid URS and pneumatic lithotripsy is a good alternative that shouldn't, yet, be abandoned.</p

Verifying transactional requirements of web service compositions using temporal logic templates

Lecture notes in computer science, 2013, vol. 8180 LNCS (Part 1)Ensuring reliability in Web service compositions is of crucial interest as services are composed and executed in long-running, distributed mediums that cannot guarantee reliable communications. Towards this, transactional behavior has been proposed to handle and undo the effects of faults of individual components. Despite significant research interest, challenges remain in providing an easy-to-use, formal approach to verify transactional behavior of Web service compositions before costly development. In this paper, we propose the use of temporal logic templates to specify component-level and composition-level transactional requirements over a Web service composition. These templates are specified using a simple format, configured according to scope and cardinality, and automatically translated into temporal logic. To verify design conformance to a set of implemented templates, we employ model checking. We propose an algorithm to address state space explosion by reducing the models into semantically equivalent Kripke structures. Our approach facilitates the implementation of expressive transactional behavior onto existing complex services, as demonstrated in our experimental study.Scott Bourne, Claudia Szabo, and Quan Z. Shen

Homocysteine, folic acid and vitamin B12 levels in serum of epileptic children

AbstractThe relationship between increased homocysteine (Hcy) level and epileptic seizure remains controversial in human, despite a growing evidence of the pro-convulsive effect of the hyperhomocysteinemia (HHcy) observed in the animal studies. The mechanism of this association with epileptogenesis has not been clearly understood, although there is emerging evidence to support the unfavorable effects of some anti-epileptic drugs (AEDs) on the plasma homocysteine (Hcy) concentrations. The aim of this study was to uncover the relationship between the levels of homocysteine (Hcy), the cofactors involved in its metabolism as folic acid and vitamin B12 and anti-epileptic drugs (AEDs) in epileptic patients. Serum level of homocysteine (Hcy), folic acid and vitamin B12 was measured in 60 patients with idiopathic epilepsy; and its level was compared to 30 healthy children serving as control group. No significant difference was found regarding the plasma homocysteine (Hcy) levels between patients (both receiving anti-epileptics and non anti-epileptic drug users) and controls. Epileptic patients on polytherapy showed higher mean serum levels of homocysteine (Hcy) and lower mean serum levels of folic acid compared to those on monotherapy. However, the mean serum levels of homocysteine (Hcy), vitamin B12 and folic acid showed non significant differences between patients using valproic acid (VPA) or carbamazepine (CBZ). Duration of AED therapy showed a significant positive correlation with mean serum levels of homocysteine (Hcy) and a significant negative correlation with mean serum levels of folic acid. To conclude; AEDs upset the homeostatic balance of homocysteine (Hcy) and its cofactors and cause abnormalities in their serum levels

Study of one class boundary method classifiers for application in a video-based fall detection system

In this paper, we introduce a video-based robust fall detection system for monitoring an elderly person in a smart room environment. Video features, namely the centroid and orientation of a voxel person, are extracted. The boundary method, which is an example one class classification technique, is then used to determine whether the incoming features lie in the ‘fall region’ of the feature space, and thereby effectively distinguishing a fall from other activities, such as walking, sitting, standing, crouching or lying. Four different types of boundary methods, k-center, k-th nearest neighbor, one class support vector machine and single class minimax probability machine are assessed on representative test datasets. The comparison is made on the following three aspects: 1). True positive rate, false positive rate and geometric means in detection 2). Robustness to noise in the training dataset 3). The computational time for the test phase. From the comparison results, we show that the single class minimax probability machine achieves the best overall performance. By applying one class classification techniques with 3-d features, we can obtain a more efficient fall detection system with acceptable performance, as shown in the experimental part; besides, it can avoid the drawbacks of other traditional fall detection methods

The Need for Compliance Verification in Collaborative Business Processes

Compliance constrains processes to adhere to rules, standards, laws and regulations. Non-compliance subjects enterprises to litigation and financial fines. Collaborative business processes cross organizational and regional borders implying that internal and cross regional regulations must be complied with. To protect customs’ data, European enterprises must comply with the EU data privacy regulation (general data protection regulation - GDPR) and each member state’s data protection laws. An example of non-compliance with GDPR is Facebook, it is accused for breaching subscriber trust. Compliance verification is thus essential to deploy and implement collaborative business process systems. It ensures that processes are checked for conformance to compliance requirements throughout their life cycle. In this paper we take a proactive approach aiming to discuss the need for design time preventative compliance verification as opposed to after effect runtime detective approach. We use a real-world case to show how compliance needs to be analyzed and show the benefits of applying compliance check at the process design stag